Strategic Maneuvering in Mathematical Proofs

Strategic Maneuvering and Standardization:

It is widely speculated that the adoption of a technology takes off to be self-sustaining if it reaches the critical mass. However, the sponsors of competing technologies may engage in strategic maneuvering in the adoption process. Indeed, this paper shows that in the de facto standardization process of the U.S. home VCR market, there was strategic maneuvering by the Betamax sponsor, which crea...

Strategic Maneuvering with the Burden of Proof

Comments on ‘Legitimation and Strategic Maneuvering in the Political Field’

Disclaimer/Complaints regulations If you believe that digital publication of certain material infringes any of your rights or (privacy) interests, please let the Library know, stating your reasons. In case of a legitimate complaint, the Library will make the material inaccessible and/or remove it from the website. Please Ask the Library: http://uba.uva.nl/en/contact, or a letter to: Library of ...

Tutorial Dialogs on Mathematical Proofs

The representation of knowledge for a mathematical proof assistant is generally used exclusively for the purpose of proving theorems. Aiming at a broader scope, we examine the use of mathematical knowledge in a mathematical tutoring system with flexible natural language dialog. Based on an analysis of a corpus of dialogs we collected with a simulated tutoring system for teaching proofs in naive...

Mathematical Proofs at a Crossroad?

For more than 2000 years, from Pythagoras and Euclid to Hilbert and Bourbaki, mathematical proofs were essentially based on axiomatic-deductive reasoning. In the last decades, the increasing length and complexity of many mathematical proofs led to the expansion of some empirical, experimental, psychological and social aspects, yesterday only marginal, but now changing radically the very essence...